Simpler proofs of Waring’s theorem on cubes, with various generalizations
نویسندگان
چکیده
منابع مشابه
Erratum to various proofs of Christol’s theorem
This note presents an erratum to the proofs of Christol’s theorem found in [Ber02], [AS03], and [BR11].
متن کاملSimpler Backward Simulation Proofs
Backward simulation relations provide a technique for verifying computer systems modelled as labelled transition systems. Recent experience suggests that backward simulation relations are useful in the verification of some highly concurrent systems. Proofs by backward simulation are complicated by the need to show that the simulation relation is total over all reachable states of the system bei...
متن کاملMaking simple proofs simpler
An open partition p [Cod09a, Cod09b] of a tree T is a partition of the vertices of T with the property that, for each block B of p, the upset of B is a union of blocks of p. This paper deals with the number, NP(n), of open partitions of the tree, Vn, made of two chains with n points each, that share the root. We prove that the number of such partitions is given by the formula NPn = k=1 n j...
متن کاملSimpler Proofs by Symbolic Perturbation
In analyses of algorithms, a substantial amount of effort has often to be spent on the discussion of special cases. For example, when the analysis considers the cases X < Y and X > Y separately, one might have to be especially careful about what happens when X = Y . On the other hand, experience tells us that when a yet unregarded special case of this kind is discovered, one nearly always finds...
متن کاملGeneralizations of Hedberg's Theorem
As the groupoid interpretation by Hofmann and Streicher shows, uniqueness of identity proofs (UIP) is not provable. Generalizing a theorem by Hedberg, we give new characterizations of types that satisfy UIP. It turns out to be natural in this context to consider constant endofunctions. For such a function, we can look at the type of its fixed points. We show that this type has at most one eleme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1928
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1928-1501417-5